You searched for:
“lambda calculus”
lambda calculus
A mathematical formalization of the rules of substitution; used for modeling the process of substituting values for bound variables.
This entry is located in the following unit:
lambda; Λ, λ +
(page 1)